More from this Author

Museums and Digital Culture

by Tula Giannini (Editor), Jonathan P. Bowen (Editor)

Electronic Visualisation in Arts and Culture

by Jonathan P. Bowen (Editor), Suzanne Keene (Editor), Kia Ng (Editor)

Engineering Trustworthy Software Systems

by Jonathan P. Bowen (Editor), Zhiming Liu (Editor), Zili Zhang (Editor)

Zb 2003 - Formal Specification and Development in Z and B

by Didier Bert (Editor), Jonathan P. Bowen (Editor), Steve King (Editor), Marina Waldén (Editor)

Formal Methods

by Paul P. Boca (Editor), Jonathan P. Bowen (Editor), Jawed I. Siddiqi (Editor)

Industrial-Strength Formal Methods in Practice

by Michael G. Hinchey (Editor), Jonathan P. Bowen (Editor)

Formal Methods: State of the Art and New Directions

by Paul Boca (Editor), Jonathan P. Bowen (Editor), Jawed Siddiqi (Editor)